Buy Used and New Alessandro Abate Books

Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings: 10381 (Lecture Notes in Computer Science)

by Alessandro Abate,Sylvie Boldo

ISBN 13: 9783319635002

Format: Paperback (140 pages)
Publisher: Springer
Published: 05 Aug 2017

Save for later

Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings: 10419 (Lecture Notes in Computer Science)

by Alessandro Abate,Gilles Geeraerts

ISBN 13: 9783319657646

Format: Paperback (364 pages)
Publisher: Springer
Published: 12 Sep 2017

Save for later

L'Impero di Cartax

by Alessandro Abate

ISBN 13: 9798745709883

Format: Paperback (124 pages)
Publisher: Independently published
Published: 03 May 2021

Save for later

Fairy Tales and Fables in the lockdown

by Alessandro Abate

ISBN 13: 9798749342772

Format: Paperback (82 pages)
Publisher: Independently published
Published: 05 May 2021

Save for later

Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings: 12846 (Lecture Notes in Computer Science, 12846)

by Alessandro Abate,Andrea Marin

ISBN 13: 9783030851712

Format: Paperback (484 pages)
Publisher: Springer
Published: 12 Aug 2021

Save for later